A non-topological view of dcpos as convergence spaces
نویسنده
چکیده
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topology. We propose a di3erent, “cotopological” embedding of DCPO into CONV, which, in contrast to the topological embedding, preserves products. If X is a cotopological dcpo, i.e. a dcpo with the cotopological CONV-structure, and Y is a topological space, then [X → Y ] is again topological, and conversely, if X is a topological space, and Y a cotopological complete lattice, then [X → Y ] is again a cotopological complete lattice. For a dcpo D, the topological and the cotopological convergence structures coincide if and only if D is a continuous dcpo. Moreover, cotopological dcpos still enjoy some of the properties which characterise continuous dcpos. For instance, all cotopological complete lattices are injective spaces (in CONV) w.r.t. topological subspace embeddings. c © 2002 Elsevier B.V. All rights reserved.
منابع مشابه
Compactly generated domain theory
We propose compactly generated monotone convergence spaces as a well-behaved topological generalization of directed-complete partial orders (dcpos). The category of such spaces enjoys the usual properties of categories of “predomains” in denotational semantics. Moreover, such properties are retained if one restricts to spaces with a countable pseudobase in the sense of E. Michael, a fact that p...
متن کاملStratified $(L,M)$-fuzzy Q-convergence spaces
This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...
متن کاملTHE CATEGORY OF T-CONVERGENCE SPACES AND ITS CARTESIAN-CLOSEDNESS
In this paper, we define a kind of lattice-valued convergence spaces based on the notion of $top$-filters, namely $top$-convergence spaces, and show the category of $top$-convergence spaces is Cartesian-closed. Further, in the lattice valued context of a complete $MV$-algebra, a close relation between the category of$top$-convergence spaces and that of strong $L$-topological spaces is establish...
متن کاملON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...
متن کاملStratified (L; M)-semiuniform convergence tower spaces
The notion of stratified (L, M)-semiuniform convergence tower spaces is introduced, which extends the notions ofprobabilistic semiuniform convergence spaces and lattice-valued semiuniform convergence spaces. The resulting categoryis shown to be a strong topological universe. Besides, the relations between our category and that of stratified (L, M)-filter tower spaces are studied.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 40 شماره
صفحات -
تاریخ انتشار 2000